<?php
class Options extends BaseOptions {};
class OptionsSet extends BaseOptionsSet {};
?>
